Computer aided verification - proceedings : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2000
- Författare
- (Ed Brinksma, Kim Guldstrand Larsen (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2002 | Tyskland, Berlin | xiii, 626 sidor. ill. | |